32cb2de141c310a65a321c379956416d92e875ce,app/PdeEditor.java,PdeEditor,PdeEditor,#,50

Before Change


    Properties skprops = new Properties();
    try {
      skprops.load(getClass().getResource("sketch.properties").openStream());
      String sketch = (String) skprops.get("sketch.name");
      String path = (String) skprops.get("sketch.directory");
      String user = (String) skprops.get("user.name");
      if (new File(path + File.separator + name + 

After Change


    try {
      skprops.load(getClass().getResource("sketch.properties").openStream());

      int windowX = Integer.parseInt(skprops.getProperty("window.x"), -1);
      int windowY = Integer.parseInt(skprops.getProperty("window.y"), -1);
      int windowW = Integer.parseInt(skprops.getProperty("window.w"), -1);
      int windowH = Integer.parseInt(skprops.getProperty("window.h"), -1);

      // if screen size has changed, the window coordinates no longer
      // make sense, so don't use them unless they're identical
      int screenW = Integer.parseInt(skprops.getProperty("screen.w"), -1);
      int screenH = Integer.parseInt(skprops.getProperty("screen.h"), -1);
      Dimension screen = Toolkit.getDefaultToolkit().getScreenSize();

      if ((windowX != -1) &&
	  ((screen.width == screenW) || (screen.height == screenH))) {
	PdeBase.frame.setBounds(windowX, windowY, windowW, windowH);
      }

      String name = skprops.getProperty("sketch.name");
      String path = skprops.getProperty("sketch.directory");
      String user = skprops.getProperty("user.name");